N° de section CNU : 27
Numéro du poste : 27MCF0597
Référence Odyssée : 251274
Profil succinct : Pour la recherche, le poste est ouvert aux candidats ou candidates proposant une intégration à l’équipe LMV du LIFO (Laboratoire d’Informatique Fondamentale d’Orléans). Enseignement en informatique.
Article de recrutement : 26.I.1
Date de publication : 3 mars 2025
Quotité de travail : 100 %
Niveau d’études demandé : Doctorat
Nombre de postes ouverts : 1
Domaine de recherche Euraxess : Computer sciences
Mots clés Odyssée : informatique - cybersécurité - méthodes formelles - vérification de programme - programme reactive